机译:通过概率模型检查分析机器人群的行为
机译:机器人群体紧急行为特性的模型检验
机译:基于一级代理的代理人的突发行为模型Dictyostelium Discoidum及其对群体机器人的启发:与生物插图的聚集阶段行为选择
机译:改进机器人群概率行为的形式化建模与验证方法
机译:设计一种有效的Millirobot机器人,用于与人群互动的群体行为研究
机译:群机器人决策的多尺度建模与分析
机译:关于使用Bio-PEPA建模和分析群体机器人中的集体行为
机译:利用概率模型检验优化机器人团队绩效。